بازگشت به فرم جستجو »

نمایش نتایج جستجو برای

کلمات کلیدی: formal methods.

---

موارد یافت شده: 2

1 - A New Approach to the Quantitative Measurement of Software Reliability (چکیده)
2 - Reliable yet flexible software through formal model transformation (rule definition) (چکیده)